​谷歌DeepMind的数学人工智能模型在今年的国际数学奥林匹克（IMO）比赛中取得了突破性进展。据官方消息，正规数学推理模型AlphaProof和改进版几何求解模型AlphaGeometry2共同攻克了本届IMO六道难题中的四道，首次达到了与人类银牌获得者相当的水平。

["谷歌 DeepMind 和英伟达在机器人领域有所动作","Jim Fan 和 Yuke Zhu 合作创立 GEAR 新研究小组","机器人将成为未来发展的重要方向","谷歌 DeepMind 提出人机交互马尔可夫决策过程","GEAR 展示了多个有趣项目，如 Eureka 和 Voyager","Voyager 是第一个在上下文中玩 Minecraft 的学习代理","Jim Fan 认为代理的未来在于积极探索并自我完善","VIMA 是第一款带机械臂的多式联运 LLM","LMPC-Rollouts 和 LMPC-Skip 提高了机器人的可教性","LMPC-Skip 和 LMPC-Rollouts 在不同任务中表现不同"]

["谷歌 DeepMind 计划研究自主语言代理，提升大型语言模型的应用","自主语言代理通过即时工程、自我提示和内存等技术，实现自主实现给定的目标","担忧对齐研究人员强调开发自主 AI 代理前需要进行更多安全性研究","DeepMind 正在构建谷歌的下一代多模态模型系列 Gemini","谷歌将更加自主地集成人工智能技术到其应用程序套件中"]

["SynthID 是一种可以为 AI 生成的图像添加隐形水印的工具，使其可识别为 AI 图像。","SynthID 使用两种深度学习模型生成和检测水印，可抵御裁剪、变色等常见图像处理。","DeepMind 计划先在 Google Imagen 图像 AI 上使用 SynthID，如果成功可能推广到其他系统。"]